Symbolic logic and mechanical theorem proving
- Författare
- Richard Char-Tung Lee Chin-Liang Chang
- (Chin-Liang Chang, Richard Char-tung Lee.)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Academic Press | cop. 1973 | USA, New York | 331 sidor. | 978-0-12-170350-9 |